type a[T,U,X] = str
